101. A survey of symbolic logic
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
164
Le-S
102. A survey of symbolic logic
پدیدآورنده : Lewis, Charles Irving
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
103. A theory of formal deducibility
Author: Curry, Haskell Brooks
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
1
.
N87
no
.
6
104. A theory of heuristic information in game-tree search
Author: Tzeng, Chun-Hung
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical
Classification :
Q
335
.
T99
1988
105. A theory of heuristic information in game-tree search
Author: TZENG,CHUN-HUNG
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ARTIFICIAL INTELLIGENCE , GAME THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
Q
335
.
T99
106. A theory of sets
Author: Morse, Anthony Perry
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Aggregates,، Logic, Symbolic and mathematical
Classification :
QA
3
.
P8
no
.
18
107. A theory of sets
Author: MORSE,ANTHONY PERVY
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: AGGREGATES , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
QA
248
.
M62
108. A theory of sets
Author: / Anthony P. Morse
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Set theory,Logic, symbolic and mathematical
Classification :
511
.
3
Mo-T
109. A theory of sets
Author: Morse, Anthony Perry
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Aggregates,، Logic, Symbolic and mathematical
Classification :
QA
3
.
P8
v
.
18
110. #A tour through mathematical logic
پدیدآورنده : #Robert S. Wolf
موضوع : Logic, Symbolic and mathematical ،Algebra, Abstract
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
111. A tour through mathematical logic
Author: Wolf, Robert S.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algebra, Abstract
Classification :
QA
9
.
W65T6
112. A tour through mathematical logic /
Author: Robert S. Wolf
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Abstract,Logic, Symbolic and mathematical
Classification :
QA9
.
W64
2005
113. A unifying field in logics :
Author: Florentin Smarandache.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.
Classification :
BC135
.
S5177
2003
114. Abelian varieties
Author: Lang, Serge
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Abelian groups,، Logic, Symbolic and mathematical
Classification :
QA
171
.
L28
115. Abstract set theory
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical,Algebra, abstract
Classification :
512
.
8
Fr-A
116. Acting and Reflecting :
Author: edited by Wilfried Sieg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
117. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
118. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
119. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
